Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
631	A paradox related to the Turing Test Samuel A. Alexander∗ Department of Mathematics, the Ohio State University Published in The Reasoner vol. 5, issue 6, p. 90. I will describe a paradox which arises assuming it is pos Add to Reading List Source URL: www.semitrivial.com Language: English - Date: 2012-07-26 20:25:00 Computer science Alan Turing Formal methods Models of computation Computable function Turing machine Computability Turing test Computable number Computability theory Theoretical computer science Theory of computation
632	Application number (for FCA/PRA use only) The FCA and PRA have produced notes which will assist both the applicant and the candidate in answering the questions in this form. Please read these notes, which are available o Add to Reading List Source URL: www.bankofengland.co.uk Language: English - Date: 2014-12-08 07:21:22 Academia Function Computability theory Question Pi Professor Mathematics Education Functions and mappings
633	Samuel A. Alexander Research Statement 1 Applications of Mathematics to Theoretical Computer Science 1.1 Knowing machines . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2 A machine that knows its own code . . . Add to Reading List Source URL: www.semitrivial.com Language: English - Date: 2014-01-16 13:36:26 Logic Ordinal numbers Theory of computation Turing jump Recursively enumerable set Proof theory Ordinal arithmetic Enumeration Algorithm Mathematical logic Mathematics Computability theory
634	IS FUNCTIONAL REDUCTION LOGICAL REDUCTION ? Max Kistler Croatian Journal of Philosophy, Vol. V, No. 14, October 2005, p[removed]ABSTRACT. The functionalist conception of mental properties, together with their multiple Add to Reading List Source URL: max.kistler.free.fr Language: English - Date: 2009-03-12 18:53:06 Computational complexity theory Cognitive science Emergence Emergentism Multiple realizability Reductionism Reduction Jaegwon Kim Metaphysics Philosophy Computability theory
635	The Necessity of Post-construction Management for Complex Systems Bruce Edmonds Centre for Policy Modelling, Manchester Metropolitan University Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2010-04-22 06:09:01 Economic model Edmonds Computability theory Theory of computation Halting problem
636	Microsoft Word - RML.TOWARDS Add to Reading List Source URL: www.tezeusz.pl Language: English - Date: 2010-10-07 18:00:00 Formal methods Computability theory Lambda calculus Theoretical computer science Function Mereology Modal logic Mathematical logic Mathematics Logic
637	SOME AXIOMS FOR CONSTRUCTIVE ANALYSIS JOAN RAND MOSCHOVAKIS AND GARYFALLIA VAFEIADOU Abstract. This note explores the common core of constructive, intuitionistic, recursive and classical analysis from an axiomatic standp Add to Reading List Source URL: www.math.ucla.edu Language: English - Date: 2011-06-07 15:01:39 Functions and mappings Computability theory Intuitionism Mathematical constructivism Logic in computer science Constructible universe Constructivism First-order logic Primitive recursive function Mathematical logic Mathematics Logic
638	THE ITERATIVE CONCEPTION OF SET Add to Reading List Source URL: www.pgrim.org Language: English - Date: 2009-09-06 21:19:38 Computability theory Complexity classes Urelements Z notation S Naive set theory Constructible universe Arithmetical hierarchy Axiom of extensionality Mathematical logic Mathematics Set theory
639	High-Order Similarity Relations in Radiative Transfer Shuang Zhao Cornell University Ravi Ramamoorthi University of California, Berkeley Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2014-06-11 21:22:21 Structure Universal algebra Ordinal number Parameter Inverse problem Computability theory Mathematics Mathematical logic Model theory
640	Strong Function Call Steven Lyde and Matthew Might University of Utah Abstract. This work presents an incremental improvement to abstract interpretation of higher order languages, similar to strong update, which Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-12-26 13:28:21 Theoretical computer science Abstract interpretation Applied mathematics Computer science Mathematics Models of computation Computability theory Lambda calculus

UPDATE